161. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
162. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
163. Infinity and the mind: the science and philosophy of the infinite
پدیدآورنده : / by Rucker
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,symbolic and mathematical,Set theory,Infinite
رده :
511
.
3
R911i
164. Infinity and the mind : the science and philosophy of the infinite
پدیدآورنده : Rucker, Rudy v. B.)Rudy von Bitter(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Infinite
رده :
QA
9
.
R79
1982b
165. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
166. Introduction aux mathematiques de l,analyse economique
پدیدآورنده : / Rene Passet
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Set theory,Logic, Symbolic and mathematical,Abelian groups
رده :
QA248
.
M513
1971
167. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
168. Introduction to mathematical logic
پدیدآورنده : Jerome Malitz
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
169. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
170. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
171. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
172. Introduction to mathematical logic: Set theory computable functions model theory
پدیدآورنده : Jerome Malitz
موضوع : Logic, symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
173. Introduction to mathematical logic: set theory, computable funtions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
174. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
175. Islic logic conferene
پدیدآورنده : / edited by G. H. Muller, A. Oberschelp and K. Potthoff
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
رده :
510
.
8
L471
No
.
499
176. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
177. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
178. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
179. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
180. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
